<html>
<head><meta charset="utf-8"><title>weekly meeting 2019.04.30 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html">weekly meeting 2019.04.30</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="164555908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555908">(Apr 30 2019 at 17:06)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1172">@WG-async-await</span> -- sync time?</p>



<a name="164555921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555921">(Apr 30 2019 at 17:06)</a>:</h4>
<p>Sure!</p>



<a name="164555931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555931">(Apr 30 2019 at 17:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> and I are in an all-hands at work but I've got my computer :)</p>



<a name="164555936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555936">(Apr 30 2019 at 17:06)</a>:</h4>
<p>Ah, ok :)</p>



<a name="164555938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555938">(Apr 30 2019 at 17:07)</a>:</h4>
<p>Cool I think the one I was working on is now _finally_ done and dusted :-)</p>



<a name="164555954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555954">(Apr 30 2019 at 17:07)</a>:</h4>
<p>I can try to drive I guess</p>



<a name="164555967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555967">(Apr 30 2019 at 17:07)</a>:</h4>
<p>I've got i!</p>



<a name="164555996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164555996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164555996">(Apr 30 2019 at 17:07)</a>:</h4>
<p>So we got some new issues this time around</p>



<a name="164556055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556055">(Apr 30 2019 at 17:08)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/60414" target="_blank" title="https://github.com/rust-lang/rust/issues/60414">https://github.com/rust-lang/rust/issues/60414</a> came up</p>



<a name="164556065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556065">(Apr 30 2019 at 17:08)</a>:</h4>
<p>but it seems like it isn't async/await specific</p>



<a name="164556075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556075">(Apr 30 2019 at 17:08)</a>:</h4>
<p>(i.e. it also happens with <code>impl Trait</code>)</p>



<a name="164556108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556108">(Apr 30 2019 at 17:08)</a>:</h4>
<p>I'd be inclined to not list it as a blocker, but if someone has immediate ideas about what might be going on (some sort of unification issue?) then it'd be great to have a fix</p>



<a name="164556153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556153">(Apr 30 2019 at 17:09)</a>:</h4>
<p>I also opened a PR to error on non-explicit elided lifetimes in paths in async fn: <a href="https://github.com/rust-lang/rust/pull/60388" target="_blank" title="https://github.com/rust-lang/rust/pull/60388">https://github.com/rust-lang/rust/pull/60388</a></p>



<a name="164556165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556165">(Apr 30 2019 at 17:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>, I tagged you for review on that-- let me know if I should re-assign if you don't have time</p>



<a name="164556166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556166">(Apr 30 2019 at 17:09)</a>:</h4>
<blockquote>
<p>but it seems like it isn't async/await specific</p>
</blockquote>
<p>yeah; looks like some kind of missing normalization</p>



<a name="164556176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556176">(Apr 30 2019 at 17:09)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span>, I tagged you for review on that-- let me know if I should re-assign if you don't have time</p>
</blockquote>
<p>I can do it I think</p>



<a name="164556243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556243">(Apr 30 2019 at 17:10)</a>:</h4>
<p>I think of this (<a href="https://github.com/rust-lang/rust/issues/60414" target="_blank" title="https://github.com/rust-lang/rust/issues/60414">https://github.com/rust-lang/rust/issues/60414</a>) not as a blocker for user experience, but rather as a "I want confidence in the implementation"</p>



<a name="164556244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556244">(Apr 30 2019 at 17:10)</a>:</h4>
<p>Great! :)</p>



<a name="164556261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556261">(Apr 30 2019 at 17:10)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> sorry, can you say which issue you're referring to?</p>



<a name="164556268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556268">(Apr 30 2019 at 17:10)</a>:</h4>
<p>ah, thanks</p>



<a name="164556280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556280">(Apr 30 2019 at 17:10)</a>:</h4>
<p>(sorry, zulip is laggy)</p>



<a name="164556297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556297">(Apr 30 2019 at 17:10)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> You mean you want confidence in the implementation of <code>impl Trait</code>?</p>



<a name="164556325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556325">(Apr 30 2019 at 17:11)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span>  more like "the backing implementation for async / await"</p>



<a name="164556335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556335">(Apr 30 2019 at 17:11)</a>:</h4>
<p>huh, okay</p>



<a name="164556345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556345">(Apr 30 2019 at 17:11)</a>:</h4>
<p>I <em>may</em> be able to spend some time investigating <a href="https://github.com/rust-lang/rust/issues/60414" target="_blank" title="https://github.com/rust-lang/rust/issues/60414">#60414</a>. I need to schedule my time tomorrow. I plan to use it <em>primarily</em> to catch up on P-high regressions.</p>



<a name="164556346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556346">(Apr 30 2019 at 17:11)</a>:</h4>
<p>which I suppose is the same practically?</p>



<a name="164556358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556358">(Apr 30 2019 at 17:11)</a>:</h4>
<p>I'd be game to be assigned anyway and we can re-evaluate next week</p>



<a name="164556410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556410">(Apr 30 2019 at 17:12)</a>:</h4>
<p>Great, assigning you</p>



<a name="164556416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556416">(Apr 30 2019 at 17:12)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span>  on the other hand, I had not seen your new comment</p>



<a name="164556429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556429">(Apr 30 2019 at 17:12)</a>:</h4>
<p>which makes me think that it might not be a blocker after all</p>



<a name="164556484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556484">(Apr 30 2019 at 17:13)</a>:</h4>
<p>but... getting on top of it seems like a good thing in any case for the benefit of better <code>impl Trait</code></p>



<a name="164556490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556490">(Apr 30 2019 at 17:13)</a>:</h4>
<p>Yup! :)</p>



<a name="164556602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556602">(Apr 30 2019 at 17:14)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> <a href="https://github.com/rust-lang/rust/issues/57017" target="_blank" title="https://github.com/rust-lang/rust/issues/57017">https://github.com/rust-lang/rust/issues/57017</a> seems incorrectly labeled?</p>



<a name="164556605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556605">(Apr 30 2019 at 17:14)</a>:</h4>
<p>both deferred and unclear?</p>



<a name="164556617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556617">(Apr 30 2019 at 17:15)</a>:</h4>
<p>I assume unclear should be removed?</p>



<a name="164556742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556742">(Apr 30 2019 at 17:16)</a>:</h4>
<p>I think I labeled it bothways</p>



<a name="164556746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556746">(Apr 30 2019 at 17:16)</a>:</h4>
<p>beacuse I wanted to revisit it :)</p>



<a name="164556759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556759">(Apr 30 2019 at 17:16)</a>:</h4>
<p>but I guess I don't believe it's blocking</p>



<a name="164556764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556764">(Apr 30 2019 at 17:16)</a>:</h4>
<p>I just think it'd be great to do some sort of fix</p>



<a name="164556780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556780">(Apr 30 2019 at 17:16)</a>:</h4>
<p>(I dont' expect a complete fix, I mean something targeted to "do better")</p>



<a name="164556832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556832">(Apr 30 2019 at 17:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> OK; maybe leave a fuller rationale as to why you think so (which we hopefully will use for the report later...)?</p>



<a name="164556840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556840">(Apr 30 2019 at 17:17)</a>:</h4>
<p>(like "here are all the deferred issues, and here's why they are deferred")</p>



<a name="164556915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556915">(Apr 30 2019 at 17:18)</a>:</h4>
<p>Seems good</p>



<a name="164556925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556925">(Apr 30 2019 at 17:18)</a>:</h4>
<p>I had looked at that issue a little when trying to find some new issues to work on but it wasn’t clear to me if we wanted to do the larger change that you elude to (removing the over-approximation) or just a smaller change of some sort that fixes this case.</p>



<a name="164556940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556940">(Apr 30 2019 at 17:18)</a>:</h4>
<p>I think I expect something in between :)</p>



<a name="164556950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556950">(Apr 30 2019 at 17:18)</a>:</h4>
<p>But I don't know precisely what</p>



<a name="164556960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556960">(Apr 30 2019 at 17:18)</a>:</h4>
<p>I have an "intuition", I can try to elaborate a bit on thread</p>



<a name="164556973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556973">(Apr 30 2019 at 17:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <a href="https://en.wikipedia.org/wiki/Lagom" target="_blank" title="https://en.wikipedia.org/wiki/Lagom">https://en.wikipedia.org/wiki/Lagom</a> :D</p>



<a name="164556997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164556997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164556997">(Apr 30 2019 at 17:19)</a>:</h4>
<blockquote>
<p>ICE: Type parameter W/#1 out of range when substituting <a href="https://github.com/rust-lang/rust/issues/55872" target="_blank" title="https://github.com/rust-lang/rust/issues/55872">#55872</a> </p>
</blockquote>
<p>This seems like a new issue</p>



<a name="164557115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557115">(Apr 30 2019 at 17:20)</a>:</h4>
<p>looks a bit worrisome to me</p>



<a name="164557155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557155">(Apr 30 2019 at 17:20)</a>:</h4>
<p>i.e., that suggests we're doing a substitution some place we shouldn't, or <em>something</em></p>



<a name="164557212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557212">(Apr 30 2019 at 17:21)</a>:</h4>
<p>We might have already fixed it? Do we know if it's reproducible?</p>



<a name="164557294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557294">(Apr 30 2019 at 17:22)</a>:</h4>
<p>I have to run to dinner... Some notes:<br>
- <a href="https://github.com/rust-lang/rust/issues/60418" target="_blank" title="https://github.com/rust-lang/rust/issues/60418">https://github.com/rust-lang/rust/issues/60418</a> is about organization of tests for the purposes of "spec" and for the report; should be blocking I think. (also not super hard to fix and <span class="user-mention" data-user-id="127859">@Taylor Cramer</span>  is already assigned)<br>
- <a href="https://github.com/rust-lang/rust/issues/60236" target="_blank" title="https://github.com/rust-lang/rust/issues/60236">https://github.com/rust-lang/rust/issues/60236</a>  -- I think we can feature gate (=&gt; not blocking) or fix (=&gt; blocking), either is fine by me.</p>



<a name="164557362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557362">(Apr 30 2019 at 17:23)</a>:</h4>
<blockquote>
<p>We might have already fixed it? Do we know if it's reproducible?</p>
</blockquote>
<p>oh, is it not reproducible?</p>



<a name="164557365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557365">(Apr 30 2019 at 17:23)</a>:</h4>
<p>I'm not sure why would block on the structure of UI tests</p>



<a name="164557388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557388">(Apr 30 2019 at 17:23)</a>:</h4>
<p>(where structure == "what folder they're in")</p>



<a name="164557405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557405">(Apr 30 2019 at 17:23)</a>:</h4>
<p>but anyways, that won't be hard to fix</p>



<a name="164557408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557408">(Apr 30 2019 at 17:23)</a>:</h4>
<p>it doesn't seem <em>blocking</em>, but it also seems easy enough to do :)</p>



<a name="164557452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557452">(Apr 30 2019 at 17:24)</a>:</h4>
<p>yup yup</p>



<a name="164557480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557480">(Apr 30 2019 at 17:24)</a>:</h4>
<p>re: <a href="https://github.com/rust-lang/rust/issues/60236" target="_blank" title="https://github.com/rust-lang/rust/issues/60236">#60236</a>, the drop order, I guess I can't think of why this wouldn't be blocking, really. I feel like what's needed here is probably to spend a bit of time exporing how the normal fn drop order comes to be</p>



<a name="164557484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557484">(Apr 30 2019 at 17:24)</a>:</h4>
<p>I’ve done a little digging at the weekend into the remaining drop order issue, I have some ideas about how I’d fix it. Whether it’s how we’d like it fix is another thing entirely. I just haven’t had time to sit down and try to fix it yet.</p>



<a name="164557485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557485">(Apr 30 2019 at 17:24)</a>:</h4>
<p>and then looking at how we can reproduce that</p>



<a name="164557508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557508">(Apr 30 2019 at 17:24)</a>:</h4>
<p>the only reason I can see not to fix it is basically to say "yeah the fn drop order is messed up, and we'd prefer a simple desugaring". I find this...not all <em>that</em> persuasive. =)</p>



<a name="164557523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557523">(Apr 30 2019 at 17:25)</a>:</h4>
<p>(even though I <em>would</em> prefer a simple desugaring)</p>



<a name="164557566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557566">(Apr 30 2019 at 17:26)</a>:</h4>
<blockquote>
<blockquote>
<p>We might have already fixed it? Do we know if it's reproducible?</p>
</blockquote>
<p>oh, is it not reproducible?</p>
</blockquote>
<p>it was raised in Nov, so we might have fixed it while fixing something else...</p>



<a name="164557626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557626">(Apr 30 2019 at 17:26)</a>:</h4>
<p>maybe I'm just an optimist...?</p>



<a name="164557707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557707">(Apr 30 2019 at 17:27)</a>:</h4>
<p><span class="user-mention" data-user-id="120134">@Giles Cope</span> plausible =) we should test it</p>



<a name="164557770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557770">(Apr 30 2019 at 17:28)</a>:</h4>
<p>So, we're running a bit unstructured -- I guess the question is, who is looking for work and doesn't have it...</p>



<a name="164557809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557809">(Apr 30 2019 at 17:29)</a>:</h4>
<p>I don’t think the mismatch in drop order that is left is a result of the desugaring. You can reorder the statements and do all sorts of things but that doesn’t fix the case when the pattern is a tuple with an underscore binding without breaking the pattern up. </p>
<p>I was looking into how the closures got lowered to MIR and noticed locals for the underscore bindings weren’t being created where they were for the non-underscore case so was going to dig into that more. Not sure if that’s where this should be fixed, but it made sense to me at the time.</p>



<a name="164557828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557828">(Apr 30 2019 at 17:29)</a>:</h4>
<p>I guess I'm a little light on the work front.</p>



<a name="164557925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557925">(Apr 30 2019 at 17:30)</a>:</h4>
<p>I’ve not got anything assigned to me but I’ve ended up looking into the drop order and the over-approximation a little bit over the last week.</p>



<a name="164557989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557989">(Apr 30 2019 at 17:31)</a>:</h4>
<p>I am looking over the blocking/unclear issues</p>



<a name="164557995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164557995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164557995">(Apr 30 2019 at 17:31)</a>:</h4>
<p>the obvious one is the ove-approximation</p>



<a name="164558034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558034">(Apr 30 2019 at 17:31)</a>:</h4>
<p>basically the question there is whether to try and extend the existing HIR-based analysis or to try and "go for broke" and do something MIR based</p>



<a name="164558044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558044">(Apr 30 2019 at 17:31)</a>:</h4>
<p>I still don't quite see how the latter can work, but maybe I'm missing something</p>



<a name="164558066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558066">(Apr 30 2019 at 17:32)</a>:</h4>
<p>but I don't have a specific proposal for the former</p>



<a name="164558147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558147">(Apr 30 2019 at 17:32)</a>:</h4>
<p>but I'd be interested in talking it over :)</p>



<a name="164558166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558166">(Apr 30 2019 at 17:33)</a>:</h4>
<p><span class="user-mention" data-user-id="120134">@Giles Cope</span> can you try to reproduce <a href="https://github.com/rust-lang/rust/issues/55872" target="_blank" title="https://github.com/rust-lang/rust/issues/55872">#55872</a>?</p>



<a name="164558192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558192">(Apr 30 2019 at 17:33)</a>:</h4>
<p>if indeed it still reproduces, I could give you some tips on how to fix it</p>



<a name="164558264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558264">(Apr 30 2019 at 17:34)</a>:</h4>
<p>yep ok</p>



<a name="164558272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558272">(Apr 30 2019 at 17:34)</a>:</h4>
<p>I’m interested in working on the over-approximation if we can work out a preferred solution. But if someone else is eager then I’m happy for them to take it as I’ll probably also look into the drop order.</p>



<a name="164558292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558292">(Apr 30 2019 at 17:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> i'm going to send you a few msgs re: drop order in the other topic</p>



<a name="164558353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558353">(Apr 30 2019 at 17:35)</a>:</h4>
<p>I guess that's it for this week?</p>



<a name="164558477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558477">(Apr 30 2019 at 17:36)</a>:</h4>
<p>Edging closer to stable. :-) Thanks Niko &amp; TC for running the meeting</p>



<a name="164558928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558928">(Apr 30 2019 at 17:42)</a>:</h4>
<p>it is reproducible still... will do some digging.</p>



<a name="164558952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/weekly%20meeting%202019.04.30/near/164558952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/weekly.20meeting.202019.2E04.2E30.html#164558952">(Apr 30 2019 at 17:42)</a>:</h4>
<blockquote>
<p>I'm not sure why would block on the structure of UI tests</p>
</blockquote>
<p>(The point is to facilitate the reviewing of the stabilization for all lang team members)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>